Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems

This paper focuses on embedded system modeling, proposing a solution to obtain refined net via the refinement operation of an extended Petri net. Object-oriented technology and with inhibitor-arcs-based representation for systems (PIRES+) are combined object-oriented PIRES+ (OOPIRES+). A gateway method OOPIRES+ is proposed, preservation liveness, boundedness, reachability, functionality, timing investigated. The modeling analysis smart home taken as example verify effectiveness method. results can provide effective way investigation properties favorable means large-scale complex which has broad application prospects.